Logic Control - PDFSEARCH.IO - Document Search Engine

Logic Control
Results: 840

#	Item
191	Unifying Facets of Information Integrity Arnar Birgisson, Alejandro Russo, and Andrei Sabelfeld Chalmers University of Technology, Gothenburg, Sweden Abstract. Information integrity is a vital security property in Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2011-11-25 05:03:14 Computing Mathematics Data integrity Control flow Hoare logic Data management Program logic Computer programming Invariant
192	Program Extrapolation with Jennisys K. Rustan M. Leino Aleksandar Milicevic Microsoft Research Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2012-11-06 16:43:36 Data types Algorithm Mathematical logic Theoretical computer science Eval Constructor Objective-C Concolic testing Control flow Computing Software engineering Computer programming
193	PDF Document Add to Reading List Source URL: www.mitsubishielectric-usa.com Language: English - Date: 2013-01-08 18:47:13 Programmable automation controller Programmable logic controller Mitsubishi Electric Embedded system Mitsubishi Mitsubishi Electric United States Technology Automation Control engineering
194	PDF Document Add to Reading List Source URL: galois.com Language: English - Date: 2014-07-17 17:29:47 Automated theorem proving Concolic testing Logic in computer science Java Pathfinder Symbolic execution Interprocedural optimization Control flow KeY Software bug Software engineering Formal methods Computing
195	PDF Document Add to Reading List Source URL: icaps11.icaps-conference.org Language: English - Date: 2013-04-15 04:52:48 Constraint programming Problem solving Non-classical logic Automated planning and scheduling Constraint satisfaction problem Control theory Planning Modal logic Mind Logic Science Philosophical logic
196	Verifying Eiffel Programs with Boogie Julian Tschannen, Carlo A. Furia, Martin Nordio, and Bertrand Meyer Chair of Software Engineering, ETH Zurich, Switzerland {firstname.lastname}@inf.ethz.ch Abstract. Static program Add to Reading List Source URL: se.inf.ethz.ch Language: English - Date: 2011-06-23 07:40:14 Logic in computer science Control flow Object-oriented programming Program logic Procedural programming languages Postcondition Exception handling Eiffel Precondition Software engineering Computing Computer programming
197	A fuzzy approach to Public transport quality of service based on AVM data collection: the real case of Rome Bus System S. Carrese, S. La Spada “Roma Tre” University, Italy ABSTRACT Add to Reading List Source URL: www.mech.kuleuven.be Language: English - Date: 2011-05-31 08:59:11 Mathematical logic Transportation planning Control engineering Artificial intelligence Logic in computer science Quality of service Fuzzy control system Fuzzy set On-time performance Transport Logic Fuzzy logic
198	PDF Document Add to Reading List Source URL: www.mitsubishielectric-usa.com Language: English - Date: 2012-08-16 13:26:25 Control theory Systems theory Servomechanism Programmable logic controller Numerical control Programmable automation controller Motion control Automation Control engineering Technology
199	Hong Kong Grease Waste Tank Monitoring PROVIDED BY: TO: Add to Reading List Source URL: www.greenware-technologies.com Language: English - Date: 2013-09-03 23:58:40 Telemetry Building automation Industrial Ethernet Modbus SCADA Programmable logic controller General Packet Radio Service Modem Technology Automation Control engineering
200	PDF Document Add to Reading List Source URL: www.mitsubishielectric-usa.com Language: English - Date: 2012-08-16 13:26:22 EMO Programmable logic controller Programmable automation controller Mitsubishi Electric Machine tool Motion control G-code Mitsubishi Mitsubishi Electric United States Technology Automation Numerical control

UPDATE